Integration of Graph Transformation and Functional Programming
نویسندگان
چکیده
It is the main intention of the paper to show how the denotational semantics of a functional program can be used within the operational semantics of a graph transformation approach in order to compute data values. The presented approach goes beyond attributed graph transformations , since it allows to instanciate parameterized data types with elements of the graph. The kernel part of it is deened on a categorical level such that it may also be easily used in other applications.
منابع مشابه
A new approach in graph- based integrated production and distribution scheduling for perishable products
This study is concerned with how the quality of perishable products can be improved by shortening the time interval between production and distribution. As special types of food such as dairy products decay fast, the integration of production and distribution scheduling (IPDS) is investigated. An integrated scheduling of both processes improves the performance and costs because the separated sc...
متن کاملSpecification and programming (by graph transformation)
In this tutorial, some basic ideas will be outlined and exempliied how graph transformation can be employed in speciication and programming. In particular, some of the respective achievements of the COMPUGRAPH project will be pointed out. Graphs are widely used in many areas of Computer Science and beyond to describe complex system states, structured objects, networks and relations among compon...
متن کاملFrom Graph Transformation to Rule-Based Programming with Diagrams
Graph transformation is a well studied computational model for speciication and programming. In this paper we outline a path that can be taken in order to turn graph transformation into a rule-based language for programming with diagrams. In particular, we discuss how data abstraction and functional abstraction can be achieved in the setting of graphs, by minimal extensions of the underlying gr...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملTarget setting in the process of merging and restructuring of decision-making units using multiple objective linear programming
This paper presents a novel approach to achieving the goals of data envelopment analysis in the process of reconstruction and integration of decision-making units by using multiple objective linear programming. In this regard, first, we review inverse data envelopment analysis models for data reconstruction and integration. We present a model with multi-objective linear programming structure in...
متن کامل